x86: properly use map_domain_page() when building Dom0
authorJan Beulich <jbeulich@suse.com>
Wed, 23 Jan 2013 13:08:44 +0000 (14:08 +0100)
committerJan Beulich <jbeulich@suse.com>
Wed, 23 Jan 2013 13:08:44 +0000 (14:08 +0100)
commit03b4fd14aca0456b413a1855024d5e5326cc95ec
tree125427a412fed9545188c4a0dd970cf54b0a5339
parent4b28bf6ae90bd83fd1113d8bdc53c3266ffeb328
x86: properly use map_domain_page() when building Dom0

This requires a minor hack to allow the correct page tables to be used
while running on Dom0's page tables (as they can't be determined from
"current" at that time).

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/domain_build.c
xen/arch/x86/domain_page.c
xen/include/asm-x86/domain.h